首页> 外文OA文献 >Proving Newton’s Propositio Kepleriana using geometry and nonstandard analysis in Isabelle

【2h】

Proving Newton’s Propositio Kepleriana using geometry and nonstandard analysis in Isabelle

机译：使用Isabelle中的几何和非标准分析来证明Newton的propositio Kepleriana

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jacques D. Fleuriot; Lawrence C. Paulson;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Development of an internal monostandard instrumental neutron activation analysis method based on in situ detection efficiency for analysis of large and nonstandard geometry samples [J] . Nair AGC., Acharya R., Sudarshan K., Analytical chemistry . 2003,第18期

机译：基于原位检测效率的内部单标准仪器中子活化分析方法的开发，用于分析大型和非标准几何样品
2. Programming and verifying a declarative first-order prover in Isabelle/HOL [J] . Jensen Alexander Birch, Larsen John Bruntse, Schlichtkrull Anders, AI communications . 2018,第3期

机译：在Isabelle / HOL中编程和验证声明性一阶证明人
3. Proving Divide and Conquer Complexities in Isabelle/HOL [J] . Eberl Manuel Journal of Automated Reasoning . 2017,第4期

机译：证明Isabelle / HOL中的分而治之的复杂性
4. A combination of nonstandard analysis and geometry theorem proving, with application to newton's principia [C] . Jacques D.Fleuriot, Laurence C.Paulson International conference on automated deduction . 1998

机译：非标准分析和几何定理证明的组合，应用于牛顿普林岛
5. Geometry and experimental method in Locke, Newton and Kant (John Locke, Sir Isaac Newton, Immanuel Kant). [D] . Domski, Mary. 2003

机译：洛克，牛顿和康德的几何学和实验方法（约翰·洛克，艾萨克·牛顿爵士，伊曼纽尔·康德）。
6. Outlines of a New System of Philosophy Being a View of the System of Sciential Medicine: Or Medicine (and All Human Knowledge) as Proveable as Geometry [O] . 1835

机译：作为科学医学体系的观点新哲学体系的提纲：或者可以证明几何的医学（以及所有人类知识）
7. A combination of nonstandard analysis and geometry theorem proving, with application to newton’s principia [O] . Jacques D. Fleuriot, Lawrence C. Paulson 1998

机译：非标准分析和几何定理证明相结合，并应用于牛顿原理

Proving Newton’s Propositio Kepleriana using geometry and nonstandard analysis in Isabelle

著录项

引文网络

相似文献

相关主题

期刊订阅